Situation awareness and capacity in coalitions

In this paper, we propose a discussion on formal notions situation awareness and capacity in a coalition. ..... ... We show the connection of a state-based logical model and an actionbased logical model. The first model, named Interpreted systems is based on epsitimic logic notions and has been identified as a candidate for the formalisation of the situation analysis problem. The second model, named situation calculus, is a first-order logic of actions better suits to the formalisation of planning problems. We give here the definitions of both notions of (1) situation awareness and (2) capacity. The benefit of the connection between both models is twofold: First, it allows to introduce epistemic notions in capacities since most of the time an agent is capable of some action only if it knows its competences. Situation awareness can thus be seen as a condition to be met in order to validate a capacity of action. Seconldy, we can model the effect of the capacities of agents on their mental states, and the knowledge of capacities like “Agent i knows that it is able to . . . , or “The group of agents G does not know that it can do . . . ”. We thus define the notion of knowledge-based capacity.